Formal Specification Based Automatic Test Generation for Embedded Network Systems
نویسندگان
چکیده
منابع مشابه
Test Cases Generation for Multi-Agent Systems Using Formal Specification
The importance of verifying the accuracy and reliability of software has been universally recognized. Concerning multi-agent systems very few research works have been undertaken in order to provide developers with valuable tools supporting testing activities. Moreover these works are still at very early stage. Actually formal methodologies give validation tests that are however applicable in ve...
متن کاملAutomatic test case generation for critical embedded systems
This paper presents a research project on the feasability of automatic test generation from formal specification in an industrial context. Airbus has used SCADE for several years to specify critical avionics systems. We have experimented automated test generation tools from SCADE specifications and defined a coverage criterion adapted to SCADE specifications.
متن کاملAutomatic Test Generation for EFSM-based Systems
The present work addresses the problem of conformance testing for EFSM-based systems and especially, the problem of automatically generating executable test cases. First, the most important description methods are presented. Then, the test generation methods for FSM (finite state machines)-based systems are described. However, since systems are more understood as extended finite state machines ...
متن کامل" Automatic Code for Embedded Systems Based on Formal Methods"
Authors This paper has been jointly developed by the Swedish software tool vendor Telelogic AB and the German software house S&P Media GmbH. Telelogic AB is a subsidiary of SAAB Combitech AB. The authors of this paper are: 1. Introduction Telecommunications software was one of the first areas to experience problems with complex real-time software and to start work to find ways to solve them. Si...
متن کاملTest Scenario Generation Based on Formal Specification and Usage Profile
This paper presents a method for test scenario generation based on formal specifications and usage profiles. It is a major component of a framework for testing object-oriented programs. In this framework, the requirements of a software system are formally specified. The anticipated application of the system is expressed in a usage profile, which is a state model that indicates the dynamic behav...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Mathematics
سال: 2014
ISSN: 1110-757X,1687-0042
DOI: 10.1155/2014/909762